$\forall$$i$:Id, $A$, $B$:MsgA. @$i$: $A$ $\subseteq$ @$i$: $B$ $\Leftrightarrow$ $A$ $\subseteq$ $B$